concurrent system中文是什么意思

發(fā)音:

中文翻譯
造句

并行系統(tǒng)

concurrent adj. 1.同時發(fā)生的，并發(fā)的，并存的，共存的；合作的 ...
system n. 1.體系，系統(tǒng)；分類法；組織；設備，裝置。 2.方 ...
cfs concurrent file system 并行文件系統(tǒng)
concurrent computational system 并行計算系統(tǒng)
concurrent control system 并行控制系統(tǒng); 共行控制系統(tǒng)
concurrent information system 并發(fā)信息系統(tǒng)
concurrent operating system 并行操作系統(tǒng)
concurrent optical system 并行光系統(tǒng)
concurrent processing system 并行處理系統(tǒng)
concurrent versions system 協(xié)作版本系統(tǒng); 作版本系
control system concurrent 同作控制系統(tǒng)
cos concurrent operating system 并行操作系統(tǒng)
cvs - concurrent versions system 版本控制系統(tǒng)
system of concurrent forces 共點力系
cdos concurrent disk operating system 并行磁盤操作系統(tǒng)
concurrent adj. 1.同時發(fā)生的，并發(fā)的，并存的，共存的；合作的。 2.(意見)一致的。 3.【動物；動物學】趨合的；【數(shù)學】共點的；【機械工程】并流的。 4.(權(quán)力等)由兩個負責當局共同行使的，有相等裁定權(quán)的。 concurrent insurance (policy) (對于一投保物的)共同保險(合同)。 concurrent post 兼職。 concurrent sentence (適用于多個被告的)共同判決。 n. 1.并發(fā)事件；共存[共有]物；并在原因。 2.競爭者。 3.【數(shù)學】共點。 adv. -ly (hold a post concurrently 兼任)。
concurrent with 和...同時
bus, concurrent 并行總線
concurrent access 并行存取, 并行訪問; 并行訪向
concurrent actions 共同訴訟
concurrent activities 并行動作; 并行活動
concurrent appointment 同時委任
concurrent arbitration 聯(lián)合仲裁
concurrent assignment 并行賦值
concurrent audit 事中審計

"查查詞典"手機版

千萬人都在用的超大詞匯詞典翻譯APP

例句與用法

Safety and fairness in java multithreading concurrent system
多線程并發(fā)系統(tǒng)中的安全性與公平性
Specification - based testing of non - deterministic concurrent systems
非確定并發(fā)系統(tǒng)的基于說明的測試推導
Client / server model - standard model used in building concurrent systems
模式? ?構(gòu)建并發(fā)系統(tǒng)的標準模式。
The traditional method is suitable for a simple , single user non - concurrent system
傳統(tǒng)方法適合于簡單的、單用戶（非并發(fā)）系統(tǒng)。
Process algebras are widely used in describing and analyzing concurrent systems
進程代數(shù)在對并發(fā)系統(tǒng)的分析和驗證等方面獲得了廣泛應用。
Model - checking is a technology for the verification of the properties of the concurrent systems
摘要模型檢測是一種用于并發(fā)系統(tǒng)性質(zhì)驗證的算法技術(shù)。
Analyzing and verifying value - passing concurrent systems is a new research area in model - checking
對于并發(fā)傳值系統(tǒng)的自動分析與驗證是模型檢測研究的一個新的方向。
Among them , the - calculus is the one capable of modelling concurrent systems with evolving communicating structures
-演算是進程代數(shù)的典型代表，它可以描述那些通信拓撲結(jié)構(gòu)會動態(tài)變化的系統(tǒng)。
Effective modeling of complex concurrent systems requires a formalism that can capture essential properties such as nondeterminism , synchronization and parallelism
對復雜的并發(fā)系統(tǒng)進行有效建模要求有一套形式化體系，由它能獲取系統(tǒng)的本質(zhì)特性，如不確定性、同步性和并發(fā)性。
However , concurrent systems with time restriction namely real - time systems are used widely in reallife , and the model - checking techniques are more and more applied to the verification of the properties of the real - time systems
實際生活中廣泛應用的是帶有時間約束的并發(fā)系統(tǒng)即實時系統(tǒng)，現(xiàn)在模型檢測技術(shù)越來越被廣泛地應用到這類系統(tǒng)的性質(zhì)驗證當中。

更多例句： 1 2

推薦英語閱讀

concurrent system的中文翻譯，concurrent system是什么意思，怎么用漢語翻譯concurrent system，concurrent system的中文意思，concurrent system的中文，concurrent system in Chinese，concurrent system的中文，concurrent system怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。